widget: Remove gtk_widget_get_margin_allocation
authorTimm Bäder <mail@baedert.org>
Mon, 14 Aug 2017 08:18:14 +0000 (10:18 +0200)
committerTimm Bäder <mail@baedert.org>
Mon, 14 Aug 2017 10:22:39 +0000 (12:22 +0200)
commit9c7e089fc2eb9d3b1d459a5673eeb25230c0a46c
treee34236bb4cd246fcff47d5de5264d6f146894f0e
parentc3aacbecdf4c69b5f2264dd825403732b1d873d2
widget: Remove gtk_widget_get_margin_allocation

It's not needed anymore with get_outer_allocation (which will be
replaced by something more appropriately named).
gtk/gtknotebook.c
gtk/gtkrange.c
gtk/gtkwidget.c
gtk/gtkwidgetprivate.h